2

PROOFS: Application engineering based on formal methods

Year:
1992
Language:
english
File:
PDF, 476 KB
english, 1992